Optimal. Leaf size=396 \[ -\frac{9 i d^2 (c+d x) e^{-2 i e-2 i f x}}{32 a^3 f^3}-\frac{9 i d^2 (c+d x) e^{-4 i e-4 i f x}}{256 a^3 f^3}-\frac{i d^2 (c+d x) e^{-6 i e-6 i f x}}{288 a^3 f^3}+\frac{9 d (c+d x)^2 e^{-2 i e-2 i f x}}{32 a^3 f^2}+\frac{9 d (c+d x)^2 e^{-4 i e-4 i f x}}{128 a^3 f^2}+\frac{d (c+d x)^2 e^{-6 i e-6 i f x}}{96 a^3 f^2}+\frac{3 i (c+d x)^3 e^{-2 i e-2 i f x}}{16 a^3 f}+\frac{3 i (c+d x)^3 e^{-4 i e-4 i f x}}{32 a^3 f}+\frac{i (c+d x)^3 e^{-6 i e-6 i f x}}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}-\frac{9 d^3 e^{-2 i e-2 i f x}}{64 a^3 f^4}-\frac{9 d^3 e^{-4 i e-4 i f x}}{1024 a^3 f^4}-\frac{d^3 e^{-6 i e-6 i f x}}{1728 a^3 f^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.404201, antiderivative size = 396, normalized size of antiderivative = 1., number of steps used = 14, number of rules used = 3, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.13, Rules used = {3729, 2176, 2194} \[ -\frac{9 i d^2 (c+d x) e^{-2 i e-2 i f x}}{32 a^3 f^3}-\frac{9 i d^2 (c+d x) e^{-4 i e-4 i f x}}{256 a^3 f^3}-\frac{i d^2 (c+d x) e^{-6 i e-6 i f x}}{288 a^3 f^3}+\frac{9 d (c+d x)^2 e^{-2 i e-2 i f x}}{32 a^3 f^2}+\frac{9 d (c+d x)^2 e^{-4 i e-4 i f x}}{128 a^3 f^2}+\frac{d (c+d x)^2 e^{-6 i e-6 i f x}}{96 a^3 f^2}+\frac{3 i (c+d x)^3 e^{-2 i e-2 i f x}}{16 a^3 f}+\frac{3 i (c+d x)^3 e^{-4 i e-4 i f x}}{32 a^3 f}+\frac{i (c+d x)^3 e^{-6 i e-6 i f x}}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}-\frac{9 d^3 e^{-2 i e-2 i f x}}{64 a^3 f^4}-\frac{9 d^3 e^{-4 i e-4 i f x}}{1024 a^3 f^4}-\frac{d^3 e^{-6 i e-6 i f x}}{1728 a^3 f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3729
Rule 2176
Rule 2194
Rubi steps
\begin{align*} \int \frac{(c+d x)^3}{(a+i a \tan (e+f x))^3} \, dx &=\int \left (\frac{(c+d x)^3}{8 a^3}+\frac{3 e^{-2 i e-2 i f x} (c+d x)^3}{8 a^3}+\frac{3 e^{-4 i e-4 i f x} (c+d x)^3}{8 a^3}+\frac{e^{-6 i e-6 i f x} (c+d x)^3}{8 a^3}\right ) \, dx\\ &=\frac{(c+d x)^4}{32 a^3 d}+\frac{\int e^{-6 i e-6 i f x} (c+d x)^3 \, dx}{8 a^3}+\frac{3 \int e^{-2 i e-2 i f x} (c+d x)^3 \, dx}{8 a^3}+\frac{3 \int e^{-4 i e-4 i f x} (c+d x)^3 \, dx}{8 a^3}\\ &=\frac{3 i e^{-2 i e-2 i f x} (c+d x)^3}{16 a^3 f}+\frac{3 i e^{-4 i e-4 i f x} (c+d x)^3}{32 a^3 f}+\frac{i e^{-6 i e-6 i f x} (c+d x)^3}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}-\frac{(i d) \int e^{-6 i e-6 i f x} (c+d x)^2 \, dx}{16 a^3 f}-\frac{(9 i d) \int e^{-4 i e-4 i f x} (c+d x)^2 \, dx}{32 a^3 f}-\frac{(9 i d) \int e^{-2 i e-2 i f x} (c+d x)^2 \, dx}{16 a^3 f}\\ &=\frac{9 d e^{-2 i e-2 i f x} (c+d x)^2}{32 a^3 f^2}+\frac{9 d e^{-4 i e-4 i f x} (c+d x)^2}{128 a^3 f^2}+\frac{d e^{-6 i e-6 i f x} (c+d x)^2}{96 a^3 f^2}+\frac{3 i e^{-2 i e-2 i f x} (c+d x)^3}{16 a^3 f}+\frac{3 i e^{-4 i e-4 i f x} (c+d x)^3}{32 a^3 f}+\frac{i e^{-6 i e-6 i f x} (c+d x)^3}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}-\frac{d^2 \int e^{-6 i e-6 i f x} (c+d x) \, dx}{48 a^3 f^2}-\frac{\left (9 d^2\right ) \int e^{-4 i e-4 i f x} (c+d x) \, dx}{64 a^3 f^2}-\frac{\left (9 d^2\right ) \int e^{-2 i e-2 i f x} (c+d x) \, dx}{16 a^3 f^2}\\ &=-\frac{9 i d^2 e^{-2 i e-2 i f x} (c+d x)}{32 a^3 f^3}-\frac{9 i d^2 e^{-4 i e-4 i f x} (c+d x)}{256 a^3 f^3}-\frac{i d^2 e^{-6 i e-6 i f x} (c+d x)}{288 a^3 f^3}+\frac{9 d e^{-2 i e-2 i f x} (c+d x)^2}{32 a^3 f^2}+\frac{9 d e^{-4 i e-4 i f x} (c+d x)^2}{128 a^3 f^2}+\frac{d e^{-6 i e-6 i f x} (c+d x)^2}{96 a^3 f^2}+\frac{3 i e^{-2 i e-2 i f x} (c+d x)^3}{16 a^3 f}+\frac{3 i e^{-4 i e-4 i f x} (c+d x)^3}{32 a^3 f}+\frac{i e^{-6 i e-6 i f x} (c+d x)^3}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}+\frac{\left (i d^3\right ) \int e^{-6 i e-6 i f x} \, dx}{288 a^3 f^3}+\frac{\left (9 i d^3\right ) \int e^{-4 i e-4 i f x} \, dx}{256 a^3 f^3}+\frac{\left (9 i d^3\right ) \int e^{-2 i e-2 i f x} \, dx}{32 a^3 f^3}\\ &=-\frac{9 d^3 e^{-2 i e-2 i f x}}{64 a^3 f^4}-\frac{9 d^3 e^{-4 i e-4 i f x}}{1024 a^3 f^4}-\frac{d^3 e^{-6 i e-6 i f x}}{1728 a^3 f^4}-\frac{9 i d^2 e^{-2 i e-2 i f x} (c+d x)}{32 a^3 f^3}-\frac{9 i d^2 e^{-4 i e-4 i f x} (c+d x)}{256 a^3 f^3}-\frac{i d^2 e^{-6 i e-6 i f x} (c+d x)}{288 a^3 f^3}+\frac{9 d e^{-2 i e-2 i f x} (c+d x)^2}{32 a^3 f^2}+\frac{9 d e^{-4 i e-4 i f x} (c+d x)^2}{128 a^3 f^2}+\frac{d e^{-6 i e-6 i f x} (c+d x)^2}{96 a^3 f^2}+\frac{3 i e^{-2 i e-2 i f x} (c+d x)^3}{16 a^3 f}+\frac{3 i e^{-4 i e-4 i f x} (c+d x)^3}{32 a^3 f}+\frac{i e^{-6 i e-6 i f x} (c+d x)^3}{48 a^3 f}+\frac{(c+d x)^4}{32 a^3 d}\\ \end{align*}
Mathematica [A] time = 2.38415, size = 667, normalized size = 1.68 \[ \frac{i \sec ^3(e+f x) \left (243 \left (8 c^2 d f^2 (5+12 i f x)+32 i c^3 f^3+4 c d^2 f \left (24 i f^2 x^2+20 f x-9 i\right )+d^3 \left (32 i f^3 x^3+40 f^2 x^2-36 i f x-17\right )\right ) \cos (e+f x)+16 \left (18 c^2 d f^2 \left (18 f^2 x^2+6 i f x+1\right )+36 c^3 f^3 (6 f x+i)+6 c d^2 f \left (36 f^3 x^3+18 i f^2 x^2+6 f x-i\right )+d^3 \left (54 f^4 x^4+36 i f^3 x^3+18 f^2 x^2-6 i f x-1\right )\right ) \cos (3 (e+f x))+5184 i c^2 d f^4 x^2 \sin (3 (e+f x))-7776 c^2 d f^3 x \sin (e+f x)+1728 c^2 d f^3 x \sin (3 (e+f x))+5832 i c^2 d f^2 \sin (e+f x)-288 i c^2 d f^2 \sin (3 (e+f x))+3456 i c^3 f^4 x \sin (3 (e+f x))-2592 c^3 f^3 \sin (e+f x)+576 c^3 f^3 \sin (3 (e+f x))+3456 i c d^2 f^4 x^3 \sin (3 (e+f x))-7776 c d^2 f^3 x^2 \sin (e+f x)+1728 c d^2 f^3 x^2 \sin (3 (e+f x))+11664 i c d^2 f^2 x \sin (e+f x)-576 i c d^2 f^2 x \sin (3 (e+f x))+6804 c d^2 f \sin (e+f x)-96 c d^2 f \sin (3 (e+f x))+864 i d^3 f^4 x^4 \sin (3 (e+f x))-2592 d^3 f^3 x^3 \sin (e+f x)+576 d^3 f^3 x^3 \sin (3 (e+f x))+5832 i d^3 f^2 x^2 \sin (e+f x)-288 i d^3 f^2 x^2 \sin (3 (e+f x))+6804 d^3 f x \sin (e+f x)-96 d^3 f x \sin (3 (e+f x))-3645 i d^3 \sin (e+f x)+16 i d^3 \sin (3 (e+f x))\right )}{27648 a^3 f^4 (\tan (e+f x)-i)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.386, size = 385, normalized size = 1. \begin{align*}{\frac{{d}^{3}{x}^{4}}{32\,{a}^{3}}}+{\frac{c{d}^{2}{x}^{3}}{8\,{a}^{3}}}+{\frac{3\,{c}^{2}d{x}^{2}}{16\,{a}^{3}}}+{\frac{{c}^{3}x}{8\,{a}^{3}}}+{\frac{{\frac{3\,i}{64}} \left ( 4\,{d}^{3}{x}^{3}{f}^{3}-6\,i{d}^{3}{f}^{2}{x}^{2}+12\,c{d}^{2}{f}^{3}{x}^{2}-12\,ic{d}^{2}{f}^{2}x+12\,{c}^{2}d{f}^{3}x-6\,i{c}^{2}d{f}^{2}+4\,{c}^{3}{f}^{3}-6\,{d}^{3}fx+3\,i{d}^{3}-6\,c{d}^{2}f \right ){{\rm e}^{-2\,i \left ( fx+e \right ) }}}{{a}^{3}{f}^{4}}}+{\frac{{\frac{3\,i}{1024}} \left ( 32\,{d}^{3}{x}^{3}{f}^{3}-24\,i{d}^{3}{f}^{2}{x}^{2}+96\,c{d}^{2}{f}^{3}{x}^{2}-48\,ic{d}^{2}{f}^{2}x+96\,{c}^{2}d{f}^{3}x-24\,i{c}^{2}d{f}^{2}+32\,{c}^{3}{f}^{3}-12\,{d}^{3}fx+3\,i{d}^{3}-12\,c{d}^{2}f \right ){{\rm e}^{-4\,i \left ( fx+e \right ) }}}{{a}^{3}{f}^{4}}}+{\frac{{\frac{i}{1728}} \left ( 36\,{d}^{3}{x}^{3}{f}^{3}-18\,i{d}^{3}{f}^{2}{x}^{2}+108\,c{d}^{2}{f}^{3}{x}^{2}-36\,ic{d}^{2}{f}^{2}x+108\,{c}^{2}d{f}^{3}x-18\,i{c}^{2}d{f}^{2}+36\,{c}^{3}{f}^{3}-6\,{d}^{3}fx+i{d}^{3}-6\,c{d}^{2}f \right ){{\rm e}^{-6\,i \left ( fx+e \right ) }}}{{a}^{3}{f}^{4}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: RuntimeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.63448, size = 941, normalized size = 2.38 \begin{align*} \frac{{\left (576 i \, d^{3} f^{3} x^{3} + 576 i \, c^{3} f^{3} + 288 \, c^{2} d f^{2} - 96 i \, c d^{2} f - 16 \, d^{3} +{\left (1728 i \, c d^{2} f^{3} + 288 \, d^{3} f^{2}\right )} x^{2} +{\left (1728 i \, c^{2} d f^{3} + 576 \, c d^{2} f^{2} - 96 i \, d^{3} f\right )} x + 864 \,{\left (d^{3} f^{4} x^{4} + 4 \, c d^{2} f^{4} x^{3} + 6 \, c^{2} d f^{4} x^{2} + 4 \, c^{3} f^{4} x\right )} e^{\left (6 i \, f x + 6 i \, e\right )} +{\left (5184 i \, d^{3} f^{3} x^{3} + 5184 i \, c^{3} f^{3} + 7776 \, c^{2} d f^{2} - 7776 i \, c d^{2} f - 3888 \, d^{3} +{\left (15552 i \, c d^{2} f^{3} + 7776 \, d^{3} f^{2}\right )} x^{2} +{\left (15552 i \, c^{2} d f^{3} + 15552 \, c d^{2} f^{2} - 7776 i \, d^{3} f\right )} x\right )} e^{\left (4 i \, f x + 4 i \, e\right )} +{\left (2592 i \, d^{3} f^{3} x^{3} + 2592 i \, c^{3} f^{3} + 1944 \, c^{2} d f^{2} - 972 i \, c d^{2} f - 243 \, d^{3} +{\left (7776 i \, c d^{2} f^{3} + 1944 \, d^{3} f^{2}\right )} x^{2} +{\left (7776 i \, c^{2} d f^{3} + 3888 \, c d^{2} f^{2} - 972 i \, d^{3} f\right )} x\right )} e^{\left (2 i \, f x + 2 i \, e\right )}\right )} e^{\left (-6 i \, f x - 6 i \, e\right )}}{27648 \, a^{3} f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.43186, size = 947, normalized size = 2.39 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.23974, size = 774, normalized size = 1.95 \begin{align*} \frac{{\left (864 \, d^{3} f^{4} x^{4} e^{\left (6 i \, f x + 6 i \, e\right )} + 3456 \, c d^{2} f^{4} x^{3} e^{\left (6 i \, f x + 6 i \, e\right )} + 5184 \, c^{2} d f^{4} x^{2} e^{\left (6 i \, f x + 6 i \, e\right )} + 5184 i \, d^{3} f^{3} x^{3} e^{\left (4 i \, f x + 4 i \, e\right )} + 2592 i \, d^{3} f^{3} x^{3} e^{\left (2 i \, f x + 2 i \, e\right )} + 576 i \, d^{3} f^{3} x^{3} + 3456 \, c^{3} f^{4} x e^{\left (6 i \, f x + 6 i \, e\right )} + 15552 i \, c d^{2} f^{3} x^{2} e^{\left (4 i \, f x + 4 i \, e\right )} + 7776 i \, c d^{2} f^{3} x^{2} e^{\left (2 i \, f x + 2 i \, e\right )} + 1728 i \, c d^{2} f^{3} x^{2} + 15552 i \, c^{2} d f^{3} x e^{\left (4 i \, f x + 4 i \, e\right )} + 7776 \, d^{3} f^{2} x^{2} e^{\left (4 i \, f x + 4 i \, e\right )} + 7776 i \, c^{2} d f^{3} x e^{\left (2 i \, f x + 2 i \, e\right )} + 1944 \, d^{3} f^{2} x^{2} e^{\left (2 i \, f x + 2 i \, e\right )} + 1728 i \, c^{2} d f^{3} x + 288 \, d^{3} f^{2} x^{2} + 5184 i \, c^{3} f^{3} e^{\left (4 i \, f x + 4 i \, e\right )} + 15552 \, c d^{2} f^{2} x e^{\left (4 i \, f x + 4 i \, e\right )} + 2592 i \, c^{3} f^{3} e^{\left (2 i \, f x + 2 i \, e\right )} + 3888 \, c d^{2} f^{2} x e^{\left (2 i \, f x + 2 i \, e\right )} + 576 i \, c^{3} f^{3} + 576 \, c d^{2} f^{2} x + 7776 \, c^{2} d f^{2} e^{\left (4 i \, f x + 4 i \, e\right )} - 7776 i \, d^{3} f x e^{\left (4 i \, f x + 4 i \, e\right )} + 1944 \, c^{2} d f^{2} e^{\left (2 i \, f x + 2 i \, e\right )} - 972 i \, d^{3} f x e^{\left (2 i \, f x + 2 i \, e\right )} + 288 \, c^{2} d f^{2} - 96 i \, d^{3} f x - 7776 i \, c d^{2} f e^{\left (4 i \, f x + 4 i \, e\right )} - 972 i \, c d^{2} f e^{\left (2 i \, f x + 2 i \, e\right )} - 96 i \, c d^{2} f - 3888 \, d^{3} e^{\left (4 i \, f x + 4 i \, e\right )} - 243 \, d^{3} e^{\left (2 i \, f x + 2 i \, e\right )} - 16 \, d^{3}\right )} e^{\left (-6 i \, f x - 6 i \, e\right )}}{27648 \, a^{3} f^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]